Formal Modelling Intelligent Service Component Based on Extenics Theory

نویسندگان

  • R. Fan
  • C. L. Liang
چکیده

After twenty years, Extenics made great progress in innovation theory, formal method and real application. Through the formalized research for its logical cell basic-element, the information-knowledge-strategy formalized system, extension analysis methods, extension transformation methods and superiority evaluation methods are set up. We introduce Extenics theory to describe, analyze and evaluate self-adaptive nature, scope and extent about the intelligent service component. First, software entities are defined by basic-element, the intelligent service component is structured into basic-element net, which is analyzed, transformed and evaluated by method of combining qualitative with quantitative. Final, intelligent service component formal model is established. Keywords-Extenics theory; intelligent service component; formal modelling

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling Extenics Innovation Software by Intelligent Service Components

Independent innovation is the core of the national development strategy. After twenty years, Extenics made great progress in innovation theory, formal method and real application. Developing and manufacturing innovation software to help people develop intelligence, inspire creation is key for Extenics further developing. Now software model cannot meet the requirements of flexible alternate in i...

متن کامل

Li Qian: Logistics Service Quality Evaluation for E-commerce Based on Extenics Theory

How to evaluate e-commerce logistics service quality research has not yet formed a complete and scientific theoretical system and method, the paper studies on this issue, using extension theory, the establishment of e-commerce logistics service quality evaluation model, an effective solution to the e-commerce logistics services quantitative evaluation of quality. In this paper extenics in primi...

متن کامل

Extenics-based Ontology Merging of Hierarchical Information Modeling for Distributed Management

In order to provide a highly formalized ontology merging of hierarchical information modeling for distributed management, the Extenics-based approach is introduced to formalize ontology merging of both Management Information Base (MIB) models and MIB instances. The aim of this paper is then to utilize ontology merging at the meta-schema level based on concept lattices to generate semantic model...

متن کامل

Designing and Applying Intelligent Interfaces and Hypermedia in Mathematical Modelling on World Wide Web

Intelligent interface design and e-learning have been a focus of multiple scientific researchers at the last years. At the present paper, a new approach based on application of Artificial Intelligence, Hypermedia tools, Systems Theory and e-learning is developed. In this relation, a hypermedia intelligent system applied to OR modelling on Internet has been developed. It has as objectives to hel...

متن کامل

Formal-Based Component Model with Support of Mobile Architecture

In this article, an approach to modelling of componentbased systems and formal description of their behaviour is proposed. It is based on a novel component model defined by a metamodel in a logical view and by description in the π-calculus in a process view. The model addresses dynamic aspects of software architectures including component mobility. Furthermore, a method of behavioural modelling...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015